Loading WithUnicode and then NonUnicode
(agda2-status-action "")
(agda2-info-action "*Type-checking*" "" nil)
(agda2-highlight-clear)
(agda2-info-action "*Type-checking*" "Checking Issue2937.WithUnicode (Issue2937/WithUnicode.agda). " t)
(agda2-info-action "*Error*" "Issue2937/WithUnicode.agda:4,14-38 (x₁ : _3) → Set !=< Set when checking that the expression λ x₁ → foo (bar x₁ ?) x₁ has type Set" nil)
((last . 3) . (agda2-maybe-goto '("Issue2937/WithUnicode.agda" . 68)))
(agda2-highlight-load-and-delete-action)
(agda2-status-action "")
(agda2-status-action "")
(agda2-info-action "*Type-checking*" "" nil)
(agda2-highlight-clear)
(agda2-info-action "*Type-checking*" "Checking Issue2937.NoUnicode (Issue2937/NoUnicode.agda). " t)
(agda2-info-action "*Error*" "Issue2937/NoUnicode.agda:6,13-37 (x1 : _3) → Set !=< Set when checking that the expression λ x1 → foo (bar x1 ?) x1 has type Set" nil)
((last . 3) . (agda2-maybe-goto '("Issue2937/NoUnicode.agda" . 97)))
(agda2-highlight-load-and-delete-action)
(agda2-status-action "")
****************************************
Loading NoUnicode and then Unicode
(agda2-status-action "")
(agda2-info-action "*Type-checking*" "" nil)
(agda2-highlight-clear)
(agda2-info-action "*Type-checking*" "Checking Issue2937.NoUnicode (Issue2937/NoUnicode.agda). " t)
(agda2-info-action "*Error*" "Issue2937/NoUnicode.agda:6,13-37 (x1 : _3) -> Set !=< Set when checking that the expression \\ x1 -> foo (bar x1 ?) x1 has type Set" nil)
((last . 3) . (agda2-maybe-goto '("Issue2937/NoUnicode.agda" . 97)))
(agda2-highlight-load-and-delete-action)
(agda2-status-action "")
(agda2-status-action "")
(agda2-info-action "*Type-checking*" "" nil)
(agda2-highlight-clear)
(agda2-info-action "*Type-checking*" "Checking Issue2937.WithUnicode (Issue2937/WithUnicode.agda). " t)
(agda2-info-action "*Error*" "Issue2937/WithUnicode.agda:4,14-38 (x₁ : _3) -> Set !=< Set when checking that the expression \\ x₁ -> foo (bar x₁ ?) x₁ has type Set" nil)
((last . 3) . (agda2-maybe-goto '("Issue2937/WithUnicode.agda" . 68)))
(agda2-highlight-load-and-delete-action)
(agda2-status-action "")
